Specification of a specification language

A Proposed Linear Specification Language

Nitpick: A Checkable Specification Language

Nitpick is a formal specification language designed to be amenable to a new checking method called case enumeration. The paper explains how a compromise was reached in the language’s design between expressive power and tractability. Fragments of a larger specification we have written are given to illustrate the language’s features. Simplified versions of two operations are explained in detail, ...

Ontology Mapping Specification Language

Ontology mediation is one of the key research topics for the acomplishment of the semantic web. Different tasks can be distinguished under this generic term: instance transformation, query rewriting, instance unification, ontology merging or mapping creation. All first four tasks require a mapping specification between the ontologies to be mediated. Mapping creation using tools and algorithms i...

The Java Language Specification

class RawMembers extends NonGeneric implements Collection { static Collection cng = new ArrayList(); public static void main(String[] args) { RawMembers rw = null; Collection cn = rw.myNumbers(); // OK Iterator is = rw.iterator(); // Unchecked warning Collection cnn = rw.cng; // OK, static member } } In this program (which is not me...

The Fortress Language Specification

A method declaration in a trait declaration of an api might include an abstract modifier, indicating that an object of the trait does not inherit the definition of the method from that trait. See Chapter 4 for a discussion of apis.